Bump custom version of some user options of which the default values changed.
authorKatsumi Yamaoka <yamaoka@jpl.org>
Tue, 31 Aug 2010 04:22:49 +0000 (04:22 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Tue, 31 Aug 2010 04:22:49 +0000 (04:22 +0000)

Trivial merge